Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
201	Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction∗ Jun Zhang1,2,3,4 1 Chaokun Wang2,3,4 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:06 Control theory Collective intelligence Mathematical model Mathematical modeling Markov chain Dynamical system Logarithm Discretization Linear temporal logic Mathematics Applied mathematics Markov models
202	1 Chapter 6 Testing 1. Neyman Pearson Tests 2. Unbiased Tests; Conditional Tests; Permutation Tests Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-04-08 14:52:07 Econometrics Market research Measurement Psephology Fisher information Symbol Linear temporal logic Statistics Biostatistics Confidence interval
203	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
204	A Provenance Framework for Data-Dependent Process Analysis Daniel Deutch Tel Aviv University Yuval Moskovitch Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-01-06 10:12:54 Data management Semiring Linear temporal logic Relational algebra Provenance Expressed sequence tag Tropical geometry NIP K Algebraic structures Algebra Mathematics
205	Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim Marco Gaboardi Emilio Jesús Gallego Arias Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Logic Symbol Structure Interpretation Linear temporal logic Μ operator Model theory Mathematical logic Mathematics
206	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMP[removed]Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
207	Certifying Compilation for a Language with Stack Allocation Limin Jia Frances Spalding David Walker Princeton University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Stack Entailment Heap Linear temporal logic Logic Propositional calculus Symbol
208	1 Chapter 6 Testing 1. Neyman Pearson Tests 2. Unbiased Tests; Conditional Tests; Permutation Tests Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-03-13 12:44:18 Econometrics Market research Measurement Psephology Fisher information Symbol Linear temporal logic Statistics Biostatistics Confidence interval
209	Taming Past LTL and Flat Counter Systems Stéphane Demria , Amit Kumar Dharb , Arnaud Sangnierb a b Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-26 04:34:20 Metalogic Proof theory Temporal logic Logic in computer science Linear temporal logic Presburger arithmetic PAT Model checking Satisfiability Mathematical logic Logic Model theory
210	strategy_machines_technical.dvi Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 09:56:47 Computability theory Computer science Formal methods Turing machine Linear temporal logic Mealy machine Determinacy Models of computation Theory of computation Theoretical computer science

UPDATE